Consistency Analysis for User Requirements Notation Models

The User Requirements Notation (URN) is a standard modeling language that includes two complementary views, one for goals with the Goaloriented Requirement Language (GRL) and one for scenarios/processes with Use Case Maps (UCM). The URN standard, however, does not provide means of checking consistency between the GRL and UCM views, leading to models that are potentially erroneous. This paper presents a preliminary set of rules for checking common consistency properties in URN models. These rules have been implemented as user-selectable OCL constraints in the jUCMNav tool. Future opportunity for research in that space are also identified.